home *** CD-ROM | disk | FTP | other *** search
/ Aminet 30 / Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso / Aminet / dev / lang / SmallEiffel.lha / SmallEiffel / sys / runtime / no_check.h < prev    next >
Encoding:
C/C++ Source or Header  |  1998-12-22  |  2.3 KB  |  70 lines
  1. /*
  2. -- This file is  free  software, which  comes  along  with  SmallEiffel. This
  3. -- software  is  distributed  in the hope that it will be useful, but WITHOUT 
  4. -- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
  5. -- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
  6. -- this header is kept unaltered, and a notification of the changes is added.
  7. -- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
  8. -- another product.
  9. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  10. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  11. --                       http://www.loria.fr/SmallEiffel
  12. --
  13. */
  14. /*
  15.   This file (no_check.h) is automatically included when `run_control.no_check'
  16.   is true (ie. all modes ecxept mode -boost).
  17. */
  18. #define SE_NO_CHECK 1
  19.  
  20. /*
  21.   To be able to print a stack frame in a human readable format :
  22. */
  23. typedef struct _se_frame_descriptor se_frame_descriptor;
  24. struct _se_frame_descriptor {
  25.   char* name;
  26.   int use_current;
  27.   int local_count; /* Number of C variable to print. */
  28.   char* local_format; /* Format information. */
  29.   int assertion_flag; /* 1 when assertions can be checked. */ 
  30. };
  31.  
  32. /*
  33.   To keep the track of execution in order to be able to print a 
  34.   dump when things goes wrong :
  35. */
  36. typedef struct _se_dump_stack se_dump_stack;
  37. struct _se_dump_stack {
  38.   se_frame_descriptor* fd;
  39.   void** current; /* NULL when not used. */
  40.   int l; /* Current execution line. */
  41.   int c; /* Current execution column. */
  42.   int f; /* File path index (base class id). */
  43.   se_dump_stack* caller; /* Back to the caller. */
  44.   void*** locals;
  45. };
  46. extern se_dump_stack* se_dst;
  47. void se_print_run_time_stack(void);
  48. void se_print_one_frame(se_dump_stack*ds);
  49. void se_core_dump(char *msg);
  50.  
  51. extern int se_rspf;
  52. extern int se_require_uppermost_flag;
  53. extern int se_require_last_result;
  54. int se_rci(void*C);
  55. void error0(char*m);
  56. void error1(char*m,int l,int c,int f);
  57. void error2(T0*o,int l,int c,int f);
  58. T0* vc(void*o,int l,int c,int f);
  59. T0* ci(int id,void*o,int l,int c,int f);
  60. void ac_req(int v);
  61. void ac_ens(int v);
  62. void ac_inv(int v);
  63. void ac_liv(int v);
  64. void ac_insp(int v);
  65. int ac_lvc(int lc,int lv1,int lv2);
  66. void ac_civ(int v);
  67. void se_evobt(void*o,int l,int c,int f);
  68. void sigrsp(int sig);
  69. void se_gc_check_id(void*o,int id);
  70.